Computer-automated design - PDFSEARCH.IO - Document Search Engine

Computer-automated design
Results: 82

#	Item
61	Special Issue on Social Value Design - Contributing to Social Value Innovations Social experience Developing Convenience Store ATMs as Social Infrastructure Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-07-25 01:37:47 Human–computer interaction Automation Embedded systems Finance Automated teller machine Banks LINK Convenience store Usability Payment systems Technology Business
62	www.rapidform.com The World’s 1st 3D Scanning Software Offering Fully Automated Scan Data Processing Add to Reading List Source URL: www.directdimensions.com Language: English - Date: 2010-02-18 15:37:09 Imaging Graphics software 3D scanner Point cloud 3D modeling 3D computer graphics software Non-uniform rational B-spline Solid modeling Computer representation of surfaces 3D computer graphics Computer graphics Computer-aided design
63	) DoD FORMS MANAGEMENT PROGRAM AUTOMATED INFORMATION SYSTEM (AIS) FORMS DESIGN SYSTEM MODERNIZATION PLAN Add to Reading List Source URL: www.dod.mil Language: English - Date: 2012-11-27 09:01:17 United States Department of Defense Computer-aided engineering Computer-integrated manufacturing Engineering Product lifecycle management Department of Defense Architecture Framework Department of Defense Strategy for Operating in Cyberspace Technology Information technology management Business
64	Automated Design of Adaptive Controllers for Modular Robots using Reinforcement Learning Paulina Varshavskaya, Leslie Pack Kaelbling and Daniela Rus Computer Science and AI Laboratory Massachusetts Institute of Technolog Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-09-07 17:21:08 Stochastic control Reinforcement learning Computational neuroscience Partially observable Markov decision process Machine learning Markov decision process Q-learning Self-reconfiguring modular robot SARSA Statistics Dynamic programming Markov processes
65	Case Study: Automated CADD to GIS Conversion, Siemens/San Francisco International Airport Add to Reading List Source URL: www.critigen.com Language: English - Date: 2013-03-04 18:18:47 Security engineering Cartography Geographic information system Computer-aided design San Francisco International Airport Physical security Geospatial analysis Security National security Public safety
66	www.rapidform.com The World’s 1st 3D Scanning Software Offering Fully Automated Scan Data Processing Add to Reading List Source URL: www.dirdim.com Language: English - Date: 2010-02-18 15:37:09 Imaging Graphics software 3D scanner Point cloud 3D modeling 3D computer graphics software Non-uniform rational B-spline Solid modeling Computer representation of surfaces 3D computer graphics Computer graphics Computer-aided design
67	Under consideration for publication in J. Functional Programming 1 Functional Design and Implementation of Graphical User Interfaces for Theorem Provers Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2010-02-16 04:30:00 Computing Theoretical computer science Formal methods Software architecture Logic in computer science Proof assistant Isabelle Graphical user interface Window User interface techniques Software Automated theorem proving
68	The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-08-24 21:10:43 NP-complete problems Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability Unit propagation Clause Theoretical computer science Mathematics Applied mathematics
69	Total Enforcement™ is the most advanced fullyintegrated, automated records management and computer aided dispatch solution on the market today. Built on the latest Microsoft .NET technologies, Total Enforcement gives l Add to Reading List Source URL: www.totalenforcement.com Language: English - Date: 2012-09-18 13:27:07 Computer-aided design Management Computing Data management Microsoft Access Mobile business intelligence Computer-aided dispatch Logistics Microsoft Certified Professional
70	Automated Interface Synthesis for Mismatched Protocols Vijay D’silva & S. Ramesh & Arcot Sowmya Center for Formal Design and Verification of Software, IIT Bombay School of Computer Science and Engineering, University o Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2004-02-16 09:13:29 Information Conventional PCI Transmission Control Protocol Communications protocol Computing Data Computer buses

UPDATE